- 二階述詞
- second: n. 1.秒 (=1/60分);秒(針)。 2.片刻;一 ...
- order: n. 1.次序,順序;整齊;(社會(huì))秩序,治安;狀況,常 ...
- predicate: n. 1.【語(yǔ)法】謂語(yǔ),述語(yǔ)。 2.【邏輯學(xué)】謂項(xiàng),述項(xiàng) ...
- second-order predicate calculus: 二階謂詞演算
- first order predicate calculus: 一階謂詞演算
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯